Giovanni Cinà, Ulle Endriss; "A Syntactic Proof of Arrow’s Theorem in a Modal Logic of Social Choice Functions" - Internet Explorer 2.0

Giovanni Cinà, Ulle Endriss; "A Syntactic Proof of Arrow’s Theorem in a Modal Logic of Social Choice Functions"

https://www.ifaamas.org/Proceedings/aamas2015/aamas/p1009.pdf

Giovanni Cinà，Ulle Endriss

メモ

Arrowの不可能性定理を形式化する．社会選択理論